Nuprl Definition : normalize-constraint
11,40
postcript
pdf
normalize-constraint(
k
;
p
)
== let
f
,
r
=
p
in callbyvalue(
r
;
r
.callbyvalue(map-eval(
i
.
f
(
i
);upto(
k
));
as
.<
n
.
as
[
n
]?
f
(
n
),
r
>))
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
,
callbyvalue(
a
;
x
.
B
(
x
))
,
map-eval(
x
.
f
(
x
);
L
)
,
upto(
n
)
,
<
a
,
b
>
,
x
.
A
(
x
)
,
as
[
i
]?
a
,
f
(
a
)
FDL editor aliases
normalize-constraint
origin
n.as[n]?f(n), r>)) n.as[n]?f(n), r>)) x.A(x)